When longevity meets vitality

When Science Meets Religion

When Turing Meets Milner

• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version ...

When Simulation Meets Antichains

We describe a new and more efficient algorithm for checking universality and language inclusion on nondeterministic finite word automata (NFA) and tree automata (TA). To the best of our knowledge, the antichain-based approach proposed by De Wulf et al. was the most efficient one so far. Our idea is to exploit a simulation relation on the states of finite automata to accelerate the antichain-bas...

When mind meets machine

into sufferers from amyotrophic lateral sclerosis (ALS) and brain-stem stroke, which enables them to move a computer cursor, albeit slowly. The device uses electrodes attached to amplifiers and FM transmitters transplanted 5 mm deep—just under the scalp—into the brain. The electrodes encourage brain tissue to grow around them, thus stabilizing them against any movement and resulting distortion ...

When ABE Meets RSS

RSS (Really Simple Syndication) has been introduced as a response to the need of efficient information distribution and subscription. However, the current RSS standard does not provide privacy preservation and confidentiality protection. Independently, the emergence of ABE (Attribute-based Encryption) provides us a brand new cryptographic primitive for access control. This paper sets out to exa...